Nuprl Definition : mkid 11,40
mkid{$x:ut2} == token{$x:ut2} 
latex

Definitionstoken{$x:ut2}
FDL editor aliasesmkid

origin